ALL ASU ECSU ECU FSU NCCU UNCA UNCC UNCG UNCP UNCW WCU       

 

Browse All

• Titles
• Author By Last Name
• Keywords
• Departments

Theses & Dissertations

• Titles
• Author By Last Name
• Advisor By Last Name
• Keywords
• Type
• Degrees By Discipline

Submissions

• Articles, Chapters, & other finished products

Browse by Keywords - N

Select the first letter of the keywords to browse

• OTHER
• #
• '
• -
• .
• :
• 1
• 2
• 3
• 4
• 5
• 7
• 9
• A
• B
• C
• D
• E
• É
• F
• G
• H
• I
• Î
• J
• K
• L
• M
• N
• O
• P
• Q
• R
• S
• ß
• T
• U
• V
• W
• X
• Y
• Z

There are 4 record/s using the keyword/s: nested types.

Title	Date	Creator	Publication Type	Institution
Deep Induction: Induction Rules For (Truly) Nested Types	2020	Johann, Patricia	Faculty	Computer Science, ASU
How Functorial Are (Deep) GADTs?	2022	Johann, Patricia	Faculty	Computer Science, ASU
Initial Algebra Semantics Is Enough!	2007	Johann, Patricia	Faculty	Computer Science, ASU
Towards Formalizing Parametricity For Nested Types In Agda	2021	Jeffries, Daniel	Student	Computer Science - Student, ASU

• Help
• About Us

Maintained by ERIT, University Libraries, UNCG